home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / lisp / stk-3.002 / stk-3 / STk-3.1 / Doc / Reference / Makefile < prev    next >
Encoding:
Makefile  |  1996-01-13  |  627 b   |  30 lines
  1. # Makefile for Manual building
  2.  
  3. TEX= manual.tex commands.tex Reference1.tex Reference2.tex \
  4.      Appendix-A.tex Appendix-B.tex Appendix-C.tex Appendix-D.tex
  5.  
  6. all: dvi ps
  7.  
  8. dvi:     manual.dvi
  9. ps:     manual.ps
  10.  
  11. manual.dvi: $(TEX)
  12.     echo -n > index.tex
  13.     latex manual.tex
  14.     tr A-Z a-z < manual.idx> manual2.idx
  15.     mv manual2.idx manual.idx
  16.     STK_LIBRARY=../../Lib ../../Src/stk -no -file index.stk
  17.     bibtex manual
  18.     latex manual.tex
  19.     latex manual.tex
  20.     
  21. manual.ps: manual.dvi
  22.     dvips -t a4 -f manual.dvi > manual.ps
  23.  
  24. clean: 
  25.     rm -f  *.aux *.idx  *.log *.aux *.bbl *.blg  *.idx *.toc *~ index.tex
  26.  
  27. very-clean: clean
  28.     rm -f manual.ps manual.dvi
  29.  
  30.